COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source file
C00003 ENDMK
C⊗;
.require "let.pub" source file;
.<<
.FONT 1 "basl30"; TURN ON "%";
.FONT 2 "BASI30";
.FONT 3 "basb30";
.FONT 4 "sta200";
.FONT 5 "ngb25";
.>>
.FONT 6 "SUP";
∂AILProfessor Joel Moses↓Project MAC↓Massachusetts Institute of Technology
↓545 Technology Square↓Cambridge, Massachusetts 02138∞

Dear Joel:

Here is the paper with the derivations on which MACSYMA was not helpful.

.sgn